- satisfacible
- satisfacibleadjectivesatisfiable
Spanish-English dictionary. 2013.
satisfacible
Look at other dictionaries:
Teorema de Cook — En teoría de la complejidad computacional, el Teorema de Cook establece lo siguiente: El Problema de satisfacibilidad booleana (SAT) es NP completo. Stephen Cook (1971) Cook demostró este teorema en su artículo de 1971 The Complexity of Theorem… … Wikipedia Español
Algoritmo DPLL — El algoritmo DPLL/Davis Putnam Logemann Loveland es un algoritmo completo basado en la vuelta atrás que sirve para decidir la satisfacibilidad de las fórmulas de lógica proposicional en una forma normal conjuntiva, es decir, para resolver el… … Wikipedia Español
Teorema de compacidad — En lógica matemática, el teorema de compacidad establece que un conjunto (posiblemente infinito) de fórmulas bien formadas de la lógica de primer orden tiene un modelo si todos sus subconjuntos finitos tienen un modelo. Es decir, para todo… … Wikipedia Español
Lógica proposicional — En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de … Wikipedia Español
Demostración original del teorema de completitud de Gödel — Saltar a navegación, búsqueda En 1930 Gödel demostró la completitud de la lógica cuantificacional de primer orden. Literalmente el Teorema de completitud de Gödel establece: Para toda fórmula A de la lógica cuantificacional de primer orden, si A… … Wikipedia Español
Lógica de descripción — Las lógicas de descripción, también llamadas lógicas descriptivas (DL por description logics) son una familia de lenguajes de representación del conocimiento que pueden ser usados para representar conocimiento terminológico de un dominio de… … Wikipedia Español
Interés público — El interés público o general es la frase hispana usada para designar la finalidad nocional de las acciones e instituciones de un Estado o comunidad políticamente organizada o el beneficio del conjunto de la población o los habitantes de una… … Wikipedia Español
